Nuprl Definition : isect2
4,23
postcript
pdf
T1
T2
==
b
:
. if
b
T1
else
T2
fi
latex
Definitions
,
if
b
t
else
f
fi
FDL editor aliases
isect2
origin
T2 == b:
. if b
T1 else T2 fi T2 == b:. if b T1 else T2 fi t else f fi